\section{What could not happen}

There are some invalid combinations of signals.

The state machine has 4 states: \textit{ResetState}, \textit{Idle}, \textit{MakeRequest}, and \textit{WaitResponse}.
It can not move outside these states.
